< -package:ghc-lib-parser package:typenums

Boolean comparison of two type-level numbers
Put two pieces of error message next to each other.